variable renaming according to Paul's suggestion