and re-fixed the coloring bug ...