A few doc fixes