trivial: remove duplicate "different" from comment