a few more minor changes to user interface