fixed a type warning