Commit 0d9be1c31e0e056881f4bb0b61f82e6ffdd06b9e

Werner Lemberg 2006-02-22T14:28:06

Fix comment so that it is included into the HTML documentation.