Bug discovered by Simon. See #3921. The logics of the whole test for binding interpreters may still change (or even disappear), but for now, at least make it work as expected.