misc tweaks; fix example