* Fix a bug in the OCaml pretty-printer.