Patched header comments