made a few nitpicky changes