Going on in the documentation; Fixed a minor error