[BUGFIX] Fix undefined variable

Fixes undefined variable that apparently survived a refactoring.