Rectifying another error in decoder