minor changes of some GUI labels