another small html change in domain-server