Corrections to require statements