manuscript and example tweaks