Make some comments doxygen-friendly.