Fix decode_scanString