minor name change, small detail