This is a final tweak to the user interface for bug #7337.