Fix what I believe is a typo