Silly lines in comments removed.