Document fixups for doxygen compatibility