- fix for bug #3232: typo in variable name