fix a small slip of pen
arithmetic finished. fix comments in trace.