GUI polishing (still). Now proper names in case of pasted input.