Fix a bug in subtyping judgment