Make the example more complete

* Also fix a type-o