Header error

See commit message.