• Just checked on linux and it's as you say (but even doing end(" ") fixes it) - so yes, it's a bug. I'll see what I can do about fixing it.

About

Avatar for Gordon @Gordon started