Some minor things in GUI
Merge origin/master