Minor reformulations.