Fixed a broken example.  This fixes #419