Cleaned up extraneus text and duplicate @requires statements