Updating the documentation following some previous documentation mistakes