Slight fixes to the doxygen comments