Update doctest2.js