Some small corrections in the documentation.