fixed bug in extract_identifiers