Fixed another typo in contracts.rb