some enhancements to the docs