ntdfa: small fixes