fixed another bug in TRESTLE, for KC Label generation