fixed a double slash typo in an #include directive