Fixing a bogus require