Update 01doctest.txt