some small doc improvements