added comment
minor improvement to Cmp