Typo
Clean up after test cases

(although it is surprising that this is necessary.)