[Mailman-Developers] Little bug(?) in admindb