Removed excess #include, made sure it works