fixes for priority coloring