Small doc fixes