minor fix for doxygen