Fix mailbox spec