Oh no, I was looking at the wrong get_header definition, this is safer.