minor bug fix for typo