Quick fix of bug related to identifiers of type ‘_something’