minor: html fixes