Fixing preprocessed headers