More interface tweaks (issue #23).