tiny speedup decoding + in DecodeURI()