#87: modified comments for doxygen html generation