fix a decoding error