Minor cosmetics to keep Doxygen happy.