Fixing some issues in the docs