Forgotten header update

This was supposed to be in the previous commit.