Remove unused require

This was unused before 03f7bb66374b162aab26289b761e7918b79c0ca7 as well.  It would be interesting to see how many other unused requires there are (types that are only referenced in comments but not used in code).