Even more doc fixes