Missing doxygen header