revised the example slightly; now works (seed 5)