10001st prime problem fixed.