Doxygen missing for the definitions: