small fixes for dumpsui