minor update to Ctc.java