Fixing some things in docs