minor name fix