A little bug fix (redefinition of a variable)