external.py: Spelling correction for header