Minor improvements to the user interface.