Markup corrections in doc/gui.txt