Bug 1272: some UI updates
No bug: version bump