Uncomment a needlessly commented :contract