13 Nov

minor interface tweaks