fix a variable-renaming error.