Documentation comment changes: Doxygen fixes