Minor update (add folding rule for mbox)