minor bugfix to make doxygen happy