fix a small tiny error I forgot