Fix bad include directive