fix the end of the notebook on type-checking that for some reason had gone unfinished