label-sizing.ui tests this, too - but that test tests lots of other things, and if this ever happens again, we want to debug it in a small test.
Benjamin Otte