minor: additional imports that may make the tests work