Fix @requires