Thanks for your suggestion, but that doesn’t make any sense. That redirection is what is happening now and that is the problem. And certificates are issued for domains, not for domain with port numbers. I’m not trying to get a certificate for a domain with a port number.
Also, this is a renewal, not an initial certificate, so I don’t know what changed in Virtualmin since three months ago.