Fix warnings from arithchk