Fix minor doxygen doc issues