fix an identifier error