As a fix, you could write a script (using on rawmode event) which detects this problem, and automatically sends a /names $chan, so that mirc can update the nicklist (and remove the misplaced @'s)