This is another example of how hard it is to make a good user interface.