Bug fix: typo.