some more typing