diff --git a/js/compiler/demo-bankaccount.js b/js/compiler/demo-bankaccount.js
index 621b3e1..517142b 100644
--- a/js/compiler/demo-bankaccount.js
+++ b/js/compiler/demo-bankaccount.js
@@ -3,7 +3,7 @@
 var Syndicate = require('./src/main.js');
 
 assertion type account(balance);
-assertion type deposit(amount);
+message type deposit(amount);
 
 ground dataspace {
   actor {
diff --git a/js/compiler/demo-filesystem.js b/js/compiler/demo-filesystem.js
index 6e6840f..9e427ab 100644
--- a/js/compiler/demo-filesystem.js
+++ b/js/compiler/demo-filesystem.js
@@ -3,8 +3,8 @@
 var Syndicate = require('./src/main.js');
 
 assertion type file(name, content) = "file";
-assertion type saveFile(name, content) = "save";
-assertion type deleteFile(name) = "delete";
+message type saveFile(name, content) = "save";
+message type deleteFile(name) = "delete";
 
 ground dataspace {
   ///////////////////////////////////////////////////////////////////////////