Fix headers broken in last commit.