Fixed coloring by Wyvilo