revise wrong typing