Incorrect port number for commented out domain controller

domain/configuration/host.xml has the following fragment:

<domain-controller>
<local/>
<!-- Alternative remote domain controller configuration with a host and port -->
<!-- <remote host="${jboss.domain.master.address}" port="${jboss.domain.master.port:9999}" security-realm="ManagementRealm"/> -->
</domain-controller>

Even though the fragment is commented, the port number should be updated to 9990 anyway.