small correction to docs