While in the area, make doxygen comment formatting consistent: block comments should have a blank first line.