This commit may fix the bug in KT.java