another tweak to examples