Fix a moved header