diff --git a/examples/src/HttpServletExamples/HttpWebPageSource.java b/examples/src/HttpServletExamples/HttpWebPageSource.java
index 5996b569a40c622524d6b0b838096e13289598ca..34f51cfb7397db064e1676071d1910f516f75ce9 100644
--- a/examples/src/HttpServletExamples/HttpWebPageSource.java
+++ b/examples/src/HttpServletExamples/HttpWebPageSource.java
@@ -52,9 +52,9 @@ public class HttpWebPageSource {
            // But a web server will write an unknown number of lines.
            // So now we read until the transmisson ends.
            
-           InputStream        is = socket.getInputStream();
-           InputStreamReader isr = new InputStreamReader(is);
-           BufferedReader     br = new BufferedReader(isr);
+           InputStream    is = socket.getInputStream();
+           Reader         isr = new InputStreamReader(is);
+           BufferedReader br = new BufferedReader(isr);
            
            String line;
            int count = 0;
@@ -68,8 +68,8 @@ public class HttpWebPageSource {
         }
         catch(IOException e)
         {
-            System.out.println("HttpWebPageSource: problem with client");
-            System.out.println(e);
+            System.err.println("HttpWebPageSource: problem with client");
+            System.err.println(e);
         }
     }
 }