Fixes the title for HTML output. Updates the examples.