std.array.join optimisation

Oh sorry... it's a font bug in my browser, it looked like a space with a different ending single quote, but actually it's a unicode character between two normal single quotes that didn't get rendered properly by my browser. Sorry for the noise.