Made a couple of comment visible to doxygen. re #10179