Just minor fixes on english docs.