Documentation.
Minor renaming.