Attempted to divide by zero during MultiTerm search through API

hi,

at a client, we occasionally receive an "Attempted to divide by zero" exception from ITermbaseSearch.Execute() on the MT API when running fuzzy search. It is not deterministic, though. The MT admin version (~ MT API version, the desktop client is not installed) is 12.0.1410.0. Has anyone ever met this issue? Any idea what causes this?

Thanks in advance,

Tamas