Fix simple naming mistake