Update pitest.html