minor correction to docs