diff --git a/ChangeLog b/ChangeLog
index a98bfa9b9c..b2eb292636 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -316,6 +316,7 @@
 	* Added /dev/zero
 	* 'errno' is now defined to be *get_errno_ptr() with no name conflicts
 	* Added lseek() and fseek()
+	* Integrated pascal test case on the simulation platform.  Needs pascal-0.1.1.
 
 
 
diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index e1db573b7a..c32d726a13 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -966,6 +966,7 @@ Other memory:
 	* Added /dev/zero
 	* 'errno' is now defined to be *get_errno_ptr() with no name conflicts
 	* Added lseek() and fseek()
+	* Integrated pascal test case on the simulation platform.  Needs pascal-0.1.1.
 </pre></ul>
 
 <table width ="100%">
diff --git a/examples/pashello/device.c b/examples/pashello/device.c
index b157965c7f..b6db1db5c5 100644
--- a/examples/pashello/device.c
+++ b/examples/pashello/device.c
@@ -56,7 +56,6 @@
  ****************************************************************************/
 
 static ssize_t hello_read(struct file *, char *, size_t);
-static ssize_t hello_write(struct file *, const char *, size_t);
 
 /****************************************************************************
  * Private Data
@@ -76,10 +75,10 @@ static struct file_operations hello_fops =
  * Private Functions
  ****************************************************************************/
 
-static ssize_t hello_read(struct file *filp, char *buffer, size_t len)
+static ssize_t hello_read(struct file *filep, char *buffer, size_t len)
 {
-  off_t offset  = filp->f_pos;  /* Start read position */
-  ssize_t nread = 0;            /* Bytes read -- assume EOF */
+  off_t offset  = filep->f_pos;  /* Start read position */
+  ssize_t nread = 0;             /* Bytes read -- assume EOF */
 
   /* Make sure that the offset is within the .pex file */
 
diff --git a/examples/pashello/pashello.c b/examples/pashello/pashello.c
index 4cd7f49212..a40990acde 100644
--- a/examples/pashello/pashello.c
+++ b/examples/pashello/pashello.c
@@ -127,6 +127,7 @@ int user_start(int argc, FAR char *argv[])
       exit(1);
     }
   printf("user_start: /dev/hello Loaded\n");
+  printf("user_start: Interpreter started:\n");
 
   /* And start program execution */
 
@@ -134,6 +135,7 @@ int user_start(int argc, FAR char *argv[])
 
   /* Clean up resources used by the interpreter */
 
+  printf("user_start: Interpreter terminated");
   pexec_release(st);
   return 0;
 }