Very quick fix on the Doxygen comment mistake