Fix syntax with krl-parse.pl