More example tweaks.