tweaks to documentation and examples