Fixed some errors in the docs