More typecheck/unit-test failure