wrong-coloring, lp:1315186

fixed