Commit 7b2dc3362ca654843fae1d6c14233ae5701a72df

Paul Eggert 2004-11-17T23:05:02

Fix header comment to match module title.