Fix a bug in decoder