Fixing a couple docs bugs