Fixing weird include bug