Pretty-printing moved.
Grammar tweaks.