Minor fixes for KL syntax