Concerning #585: star coloring, a wee bit of optimization

Problem #584 runs ~ 20 % faster