fix straightforward_mr32