Fix typo in #include