Correction to 'all_same_color'