diff -r cbc2270c2938 -r 4758a6155878 progs/crawler3.scala
--- a/progs/crawler3.scala	Thu Sep 26 10:36:24 2013 +0100
+++ b/progs/crawler3.scala	Thu Sep 26 10:39:23 2013 +0100
@@ -5,7 +5,7 @@
 import scala.util.matching.Regex
 import scala.util._
 
-// gets the first ~10K of a page
+// gets the first ~10K of a web-page
 def get_page(url: String) : String = {
   Try(Source.fromURL(url).take(10000).mkString) getOrElse 
     { println(s"  Problem with: $url"); ""}