fixed typo in output.

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index fcd311485342e1c38d1db9305e57950bef036608..6754b2321e9c55cea9d7d9d3bbc709a19a5ee1ad 100755 (executable)
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -493,7 +493,7 @@ EOF
 
        show_server_key
 
-       echo "NOTE: User ID revoked, but revokation not published."
+       echo "NOTE: User ID revoked, but revocation not published."
        echo "Run '$PGRM publish-key' to publish the revocation."
     else
        failure "Problem revoking user ID."