diff --git a/Bukkit-Patches/0004-Enchanced-Timings.patch b/Bukkit-Patches/0004-Enchanced-Timings.patch
index 68c780044f..c3dacf3c25 100644
--- a/Bukkit-Patches/0004-Enchanced-Timings.patch
+++ b/Bukkit-Patches/0004-Enchanced-Timings.patch
@@ -43,7 +43,7 @@ index 7c28b75..1bc26c6 100644
 +        if ( "on".equals( args[0] ) )
 +        {
 +            // ( (org.bukkit.plugin.SimplePluginManager) Bukkit.getPluginManager() ).useTimings( true );
-+            sender.sendMessage( ChatColor.RED + "This command disabled as it does not produce accurate results. Please enable plugin-profiling in bukkit.yml and restart." );
++            sender.sendMessage( ChatColor.RED + "This command is disabled as it does not produce accurate results. Please enable plugin-profiling in bukkit.yml and restart." );
 +        } else if ( "off".equals( args[0] ) )
 +        {
 +            ( (org.bukkit.plugin.SimplePluginManager) Bukkit.getPluginManager() ).useTimings( false );