New color, just to fix #822