Fix syntax error in bench.in.pl