A few Doxygen doc entries