Correct crucial typo in isSubKind (kc1 -> kc2)!