Minor (doxygen-related) fixes
Fixed headings