follow up to #604 - gtk gui