Fix bug with unknown identifiers