Fix duplicate Arithmetics error.