-#: src/frontends/controllers/frontend_helpers.cpp:882
-#: src/frontends/controllers/frontend_helpers.cpp:908
-#: src/frontends/controllers/frontend_helpers.cpp:942
-#: src/frontends/controllers/frontend_helpers.cpp:1008
-#: src/frontends/controllers/frontend_helpers.cpp:1038
-#: src/frontends/controllers/frontend_helpers.cpp:1092
-#: src/frontends/controllers/frontend_helpers.cpp:1127
+#: src/frontends/controllers/frontend_helpers.cpp:885
+#: src/frontends/controllers/frontend_helpers.cpp:911
+#: src/frontends/controllers/frontend_helpers.cpp:945
+#: src/frontends/controllers/frontend_helpers.cpp:1011
+#: src/frontends/controllers/frontend_helpers.cpp:1041
+#: src/frontends/controllers/frontend_helpers.cpp:1095
+#: src/frontends/controllers/frontend_helpers.cpp:1140