ContrastHigh GTK3: a little fix for GTK3-3.10