Comment header ";;;" are changed to ";;" to avoid doxygen problem.