some minor improvements in the prime number text.