Remove backslash from comment, to fix doxygen warnings