Improved comment header.