From 20fda0e371f25da4b44d1ed42e82e665ebb1ec66 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Tue, 4 Aug 2015 15:07:01 -0700
Subject: [PATCH] io.files: fix docs

---
 core/io/files/files-docs.factor | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/io/files/files-docs.factor b/core/io/files/files-docs.factor
index ae08d54ff0..91a0fcab9d 100644
--- a/core/io/files/files-docs.factor
+++ b/core/io/files/files-docs.factor
@@ -90,7 +90,7 @@ HELP: file-lines
 { $errors "Throws an error if the file cannot be opened for reading." } ;
 
 HELP: change-file-lines
-{ $values { "path" "a pathname string" } { "encoding" "an encoding descriptor" } { "quot" quotation }
+{ $values { "path" "a pathname string" } { "encoding" "an encoding descriptor" } { "quot" quotation } }
 { $description "Reads the file lines, transforms the file lines, and writes them back to the same file name." }
 { $errors "Throws an error if the file cannot be opened for writing." } ;
 
@@ -100,7 +100,7 @@ HELP: set-file-contents
 { $errors "Throws an error if the file cannot be opened for writing." } ;
 
 HELP: change-file-contents
-{ $values { "path" "a pathname string" } { "encoding" "an encoding descriptor" } { "quot" quotation }
+{ $values { "path" "a pathname string" } { "encoding" "an encoding descriptor" } { "quot" quotation } }
 { $description "Reads the file, transforms the file contents, and writes it back to the same file name." }
 { $errors "Throws an error if the file cannot be opened for writing." } ;