diff --git a/src/FileIO/FileIO.dfy b/src/FileIO/FileIO.dfy
index 23b27ea2..82934c21 100644
--- a/src/FileIO/FileIO.dfy
+++ b/src/FileIO/FileIO.dfy
@@ -52,7 +52,7 @@ module {:options "-functionSyntax:4"} FileIO {
     return if isError then Failure(errorMsg) else Success(());
   }
 
-/**
+  /**
     * Attempts to append the given bytes to the file at the given file path,
     * creating nonexistent parent directories as necessary.
     * If an error occurs, a `Result.Failure` value is returned containing an implementation-specific