Fixed issue #6538: Replacements no longer work in file header