Pretty print html vectors

These commits fixes the `prettyprint-html` word which did use to throw an exception.