Changed the way contracts are displayed in error message.
Added another negative test