diff --git a/editions/tw5.com/tiddlers/system/download-empty.tid b/editions/tw5.com/tiddlers/system/download-empty.tid
index 055fa2022..f49b9b794 100644
--- a/editions/tw5.com/tiddlers/system/download-empty.tid
+++ b/editions/tw5.com/tiddlers/system/download-empty.tid
@@ -1,10 +1,10 @@
 title: $:/editions/tw5.com/download-empty
 code-body: yes
 
-\define saveTiddlerFilter()
+\procedure saveTiddlerFilter()
 [[$:/core]] [[$:/isEncrypted]] [[$:/themes/tiddlywiki/snowwhite]] [[$:/themes/tiddlywiki/vanilla]] -[[$:/boot/boot.css]] -[type[application/javascript]library[yes]] -[[$:/boot/boot.js]] -[[$:/boot/bootprefix.js]] +[sort[title]]
 \end
-\define savingEmpty()
-yes
-\end
+
+\procedure savingEmpty() yes
+
 {{$:/core/templates/tiddlywiki5.html}}