Common stuff for Doxygen