I'll bet that's a URL-decoding bug -- space gets encoded as plus, so if they decoded an extra time your plus would turn into a space. I've made that mistake a

I'll bet that's a URL-decoding bug -- space gets encoded as plus, so if they decoded an extra time your plus would turn into a space. I've made that mistake a few times myself.