Changed file heading comment to doxygen style.