revise type annotations