Per Herr Fluke, fixing typo in one of the examples