Fixing priority-based coloring.