Used tr() for some GUI strings (there are plenty more that should be treated this...