Update sec_1.9.rst