Fix bug due to a typo