fix a little type