fixed a typo in GUI

correction of #716