Bug fix for wtfcall() and btfcall()