No, this is a problem with mIRC sending commands when a different network is detected. mIRC detects the network and server name on connect. It shouldn't matter how I connect to a server or what DNS or IP I use, what matters is what the server reports during the connect process. In this case mIRC is ignoring that and using what you typed in the /server command instead. That sounds like an error to me if it's issues these commands on the wrong network and IRC server, that isn't even in the database.