minor correction (renaming)