some small doc fixes