Updated doc (minor changes).