Fixing Some Documentation Things