Slightly edit documentation.