Update while_loop.rst