Minor header comments fix.