minor bug fix: typo