removed comment
when comparing two Kan Com we have to rename in the type as well