Fix some Doxygen bugs

Yes I should really have done this before opening the PR!