Fix in tt16 code.