Bug fixing: typo