Clean up doc slightly.