(more) doc improvements