for pure HTML5 output. see above