Fix formatting of error when there are two unbound type variables