Made FindNextPrime final