Did some corrections to the documentation.