#19: fix dis issues