Fixing an example (related to #48)