UI tweak that fixes #9