cky_decoder fix 05141659