yet another small html edit