A few more doc changes