Bug fixing: typo in regular expression