diff --git a/sketching/hkt.dm b/sketching/hkt.dm
index af10216..5fea200 100644
--- a/sketching/hkt.dm
+++ b/sketching/hkt.dm
@@ -44,8 +44,8 @@ pub int File {
 
 #target[lua]
 impl LuaFile(name: String, fld file: LuaObject) : File {
-    impl fn read_data() = lua {% ${file}.readAll() %}
-    impl fn close() = lua {% ${file}.close() %}
+    impl fn read_data() = lua {% $file.readAll() %}
+    impl fn close() = lua {% $file.close() %}
 }
 
 #target[lua]