Minor gui changes.

5 jobs for v0.7.2 in 15 minutes (queued for 2 seconds)