diff -r 447ed6c7cdad -r db5cb071644d progs/app0.scala
--- a/progs/app0.scala	Mon Sep 24 11:05:39 2018 +0100
+++ b/progs/app0.scala	Tue Sep 25 00:27:06 2018 +0100
@@ -1,7 +1,7 @@
 import io.Source
 
 def get_page(url: String) : String = { 
-  Source.fromURL(url).take(10000).mkString
+  Source.fromURL(url)("ISO-8859-1").take(10000).mkString
 }