Minor fix in AFDS - fixed roundoff error on target mach