Doxygen-ified comments.