small fix for a typo