Change some comments to Doxygen style.