minor UI tweaks, closed #17