Fix typehint #12

continued from #12