Do not break Python 3 with previous %-decoding tweak...