Remove reference to globals (since they only work on DrRacket and Whalesong