some more type annotations