Fix typos and bad formulation.