fix some type annotations in function parameters