various small interface tweaks