more small doc fixes