Right, this has been the case ever since the recent channels feature was added. The recent channels history menu saves the network name (found in numeric 005) with the recent channel. I am guessing that you tested this without a servers.ini file, so when you tried to join the channel later, mIRC was unable to find a list of server addresses associated with the network name. I have added this issue to my to-do list.