Minor tweak to PrimeUtils