From dac024f8e6fe9fd3108e6fb2781b0a1d5d6f2b0f Mon Sep 17 00:00:00 2001
From: Stephen Soltesz <soltesz@cs.princeton.edu>
Date: Wed, 13 Oct 2010 19:51:54 -0400
Subject: [PATCH] Fix a typo

---
 planetlab/nodes/node.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/planetlab/nodes/node.php b/planetlab/nodes/node.php
index 3389832..7e02522 100644
--- a/planetlab/nodes/node.php
+++ b/planetlab/nodes/node.php
@@ -256,7 +256,7 @@ I've experienced a problem rebooting $hostname with the pcu_id $pcu_id;
     if ( $msg != "" ) {
         $body .= "The last time I tried, it returned:\n    $msg\n\n";
     }
-    $body .= "And, this what I've tried, which leads me to believe that there is a bug on your side:";
+    $body .= "And, this is what I've tried, which leads me to believe that there is a bug on your side:";
 
     $url=rawurlencode($body);
     $email = "<font style='font-size: smaller'>><a href=\"mailto:".PLC_MAIL_SUPPORT_ADDRESS."?Subject=Reporting a problem rebooting $hostname&Body=$url\">Report a problem</a></font>";
-- 
2.43.0