diff --git a/user-doc/tutorials/trieste-2.txt b/user-doc/tutorials/a-trieste-2.txt
similarity index 100%
rename from user-doc/tutorials/trieste-2.txt
rename to user-doc/tutorials/a-trieste-2.txt