Updating the documentation, with some minor fixes.