fix bug-type mismatch