fixing backtick in klabel/ktoken