Fixed some errors in the documentation