Yet another minor UI edit