Revert "remove an unneeded require statement"

This reverts commit eed0a15e2db23dd924e24e7affc33c8f68771d1b.