this fixes #151 (closed)
added GUI label
requested review from @j.wuttke
...not much to review - I merge it
merged
mentioned in commit 59579395
