Undo the changes to header.py