Fix buglet in get_mailboxes()