some documentation enhancements