Another small html fix