Special handling of "\ " --> " "

Otherwise you cannot paste it into GUI programs