You can fix this sort of nicklist desync by typing the command /names #channel

If this is a bug that can be reproduced, please post a step-by-step guide in how to make it happen.

Well. At least I won lunch.
Good philosophy, see good in bad, I like!