Concerning #585: star coloring, repaired logical operator