Minor reformulations and corrections