minor reformulations