Fix typo in example 1.1. Closes: 16