Some man-page improvements based on Paul's suggestions.