DOCUMENTATION: minor doc enhancements