Quick tweak to improve doxygen