Thanks, good catch, it actually seems a bug in the decoding.