Header error

Fix an issue with the shebang inside the header.

See commit message.