Typo.
Coq & Ocaml modes: better alignment of vertical lines.