Doc: minor improvements.