bug #3140: removed not defined variable

(cherry picked from commit 09d5aa1d7713eb8f99f0c92e0c90a6efe002709a)