Amend the change log for Petr Filipsky's contribution.
Correct the file permission.
Add information about `Petr Filipsky'.
Consistently avoid literal e-mail addresses in the source code.
Make minor changes in doc comments, formatting, and names.