The Dragon and the Djinn: Release day update

Just a small patch fixing an issue with the headers.