Fix typehint #12