And another fix to mailman deactivation.