update #1258: Fix missing variable from previous commit.