A few spelling corrections