Fix wrong header inclusion.