fix a code-walking-related nondeterminism