Please change to doxygen style comments. (For other headers, too.)