minor technical improvement to GUI