This might be a problem for Doxygen? (and probably this line should be deleted anyway?)