Unreduce after performing additions instead of before. Hm, I have vague recollections of there being a reason for this ordering, but moving it isn't producing any test failures. This seems to fix the 'ghost users' bug at any rate.