KRL syntax revisions