Mailman deactivate fixes

Some minor fixes to #1219, after pulling it to esp.mit.edu.