minor improvement to GUI