Minor fix. Tested with NTL file with bad precision.