more minor edits to primality testing