diff --git a/Docs/src/basic.but b/Docs/src/basic.but
index b24222ef..1014d122 100644
--- a/Docs/src/basic.but
+++ b/Docs/src/basic.but
@@ -10,7 +10,7 @@ Delete file (which can be a file or wildcard, but should be specified with a ful
 
 \H{file} File
 
-\c [/nonfatal] ([/a] ([/r] (file|wildcard) [...] | /oname=file.dat infile.dat)
+\c [/nonfatal] [/a] ([/r] (file|wildcard) [...] | /oname=file.dat infile.dat)
 
 Adds file(s) to be extracted to the current output path ($OUTDIR).