Some more doc fixes