improved/refined lazy attribute documentation