Fixed primes.xi example.