$channel is not an mIRC identifier, so why would he change that?