Very small GUI fix