fixed some typos and rephrased some expressions