Fix header specification that was changed in last commit