fix documentation comments for generated web pages