1 files changed, 1 insertions, 1 deletions
diff --git a/play.js b/play.js
index 5b31b40..e1b987e 100644
--- a/play.js
+++ b/play.js
@@ -1422,7 +1422,7 @@ function on_log(text) {
 		text = text.substring(3)
 		p.className = "italic"
 	}
-	else if (text.match(/^\.f/)) {
+	else if (text.match(/^\.i/)) {
 		text = text.substring(3)
 		p.className = "indent italic"
 	}