Even minorer text revision.