fix code slice highlighting