Fix alternation (thanks Andrei Neculau!) and CR; example tweaks