Fixed a bug in the doxygen documentation