Fixed a type in contract.rb