Fix simple mistake