Small fix in the decoder