The change caused lots of evaluation errors, since it caused derivations to no longer be valid paths as well.