smaller fixes in the user interface