Fix the style of doxygen tags (fix #239).