TEncCu: nits