Apparently Doxygen doesn't like newlines here