Fixes to pinheader

Must have forgotten to undo before making the last commit.