diff --git a/tools/fix-h1s.sh b/tools/fix-h1s.sh
index 10d2e61220..2863583844 100755
--- a/tools/fix-h1s.sh
+++ b/tools/fix-h1s.sh
@@ -19,6 +19,6 @@ do
   # Make the output SEO friendly by converting the "h2" title to the proper "h1"
   sed -i -e 's|<h2\(.* class="title".*\)</h2>|<h1\1</h1>|' "$ln"
 done
-find . -iname "*.html-e" | xargs rm
+find . -iname "*.html-e" | xargs rm || true
 
 popd
diff --git a/version.txt b/version.txt
index 88a9ee9f33..0940bb0ed3 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-10.17.1-SNAPSHOT
\ No newline at end of file
+10.17.0
\ No newline at end of file