make HTML output configurable too