Mailman plugin: Small fixes