Fix typo in example solution