minor bug fix; typo