Fix subtle syntax error in test output that makes the scripts ignore a failed test; also fix the failing test
Fix subtle syntax error in test output that makes the scripts ignore a failed test; also fix the failing test

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml