Fix 0!=1