Added a few corrections and some more information in the documentation