Mailman plugin: Small fix