Bug fix recent change to GUI source.
Merge pull request #1049 from hjoliver/1016.bug-fix

Bug fix recent change to GUI source.