fix a few types