This PR polishes doc a bit.