More interface tweaks. [#76105868]