Fix badarith