fixes #6445 - Use comma space as separator.

I propose the following change.
Done now in a1d59f13f4ee0ea60ed44a5f5f552ade5d1b1e2a.