minor modifications to docs