Fix bug including headers.