fix an mistake