Fix incorrect header inclusion.