diff -r 546f2090ce12 -r a47c4227a0c6 progs/app1.scala
--- a/progs/app1.scala	Fri Sep 23 15:22:33 2016 +0100
+++ b/progs/app1.scala	Sat Sep 24 08:31:04 2016 +0100
@@ -1,4 +1,4 @@
 def get_page(url: String) : String = {
-  Try(Source.fromURL(url).take(10000).mkString) getOrElse 
-    { println(s"  Problem with: $url"); ""}
+  Try(Source.fromURL(url).take(10000).mkString).
+     getOrElse { println(s"  Problem with: $url"); ""}
 }