fix printing of type-mismatch errors with holes