Fix for issue #258
Merge pull request #260 from leider/master

minor fix (ui)