No idea how this got unnoticed since forever, but code and stylesheet didn't quite agree on the same name ... https://bugzilla.gnome.org/show_bug.cgi?id=703807