Doxygen tune-ups/fixes