Add an extra slash so doxygen comments will be properly recognized.