Fixed some bugs in the docs