more tweaks to example comments