A few small English corrections.