more doc improvements...