ignore double-commenting by others