Ui niceties in fix for issue #67