correction in primality test