repair the function that changes space into symbol "+" (fixes #3383)

repair the function that changes space into symbol "+" (fixes #3383)