Doc HTML tweak