Fixed up some minor things with addnum.c.