Even nicer error message if contract spec is invalid.