fix bug in decoder