Fixing a small bug in the comparison of type strings which prevented type inference from working.