fixed a typo in GUI (correction of #716)