Small enhancements to documentation