fix silly type bug