Added a header comment to isPrime