Maybe something changed again in GTK+. With GTK+ 3.13.7 the status bar
was a little too big in my opinion. Now it should be fixed (again).