Fix header that's been annoying me for ages