Several minor fixes in the user interface. Fixes #51