small fix to ipa2tokens