Fix error in big comment header.