fix incorrect typing