Some tweaks to the doxygen doc: