fixed small bug affecting decoder