Fix up primes-vs-quotes, and rename nats' to badnats