Misc Doxygen warnings corrected