Fix access of undefined variable

No runtime effect as this code branch is not used at the moment.