Fixed bogus unif of 2 free vars.