fix typehinting for getAsat