Update ex1.20.rst