some tiny doc improvements