fix KRL conversion