(*) GUI tweaks
Merge pull request #4 from Orcomp/master

(*) GUI tweaks