Fix various HTML mistakes in docs