fixed a type bug