tweaks to doc html