Minor changes. The example fails differently now.