Some doc improvements (#194).