Trivial doxygen fixes.