removed some unnecessary type annotations