* Fix a bug in the OCaml pretty-printer.

Testing.