remove some redundant type annotations