html: only specify port if it isn't set already