updated comment in primes.pl