Minor doc fixes
Some more doc fixes