If you're referring to my erroneous comment on @Skif-off's PR recently, it was just me reading the diff the wrong way around and thinking he was removing the space instead of adding it.
Yes, I am referring to it. I thought there was a little pitfall but it isn't as you explained. I changed the text according to your review. But I would also be fine with closing the PR if you think it's to trivial.