Fixed bug #234: mbox filter hangs when seeing a non-mbox filter.