Fixed some issues in the documentation