Nicer doxygen output