fix some small typing issues