• maxstat_trafo did not always choose the correct maximal cutpoint.
• Formula evaluation without data argument was partially broken (thanks to Achim Zeileis for spotting this).