Cleanup last commit

We were still including some header