Removed an #include that was committed accidentally.