Small GUI fix   (ref: #272)