update typechecker jar again with fixed error message