Update ex1.18.rst