Update ex1.17.rst