Add some missing doxygen annotations