diff --git a/development/autotests/suspiciousTests b/development/autotests/suspiciousTests
index 81eed180ae..cf1851e8ef 100644
--- a/development/autotests/suspiciousTests
+++ b/development/autotests/suspiciousTests
@@ -45,7 +45,7 @@ export/doc/es/Tutorial_pdf4_systemF
 export/doc/gl/Tutorial_dvi3_systemF
 export/doc/(nb|sk)/Intro_pdf4_systemF
 export/examples/eu/adibide_lyx-atua_(dvi3)_systemF
-export/examples/fr/(ListesPuces|seminar)_pdf4_systemF
+export/examples/fr/ListesPuces_pdf4_systemF
 export/examples/gl/exemplo_lyxificado_(dvi3)_systemF
 export/templates/RJournal_(dvi3|pdf[45])_systemF
 # Changes in TeX Live 2014 (see git blame for info) fixed IEEEtran-CompSoc
@@ -193,12 +193,14 @@ export/examples/aas_sample_(dvi3|pdf5)_(texF|systemF)
 export/examples/achemso_(dvi3|pdf5)_texF
 Sublabel: RESET
 #
-# GM: * seminar uses Postscript specials and does not work with PDF (pdflatex).
-#     * Landscape slides do not work with DVI.
+# GM: seminar.sty uses Postscript specials and does not work with
+# PDF (pdflatex). 
+# TODO: how to tag seminar_dvi? Landscape slides do not work with DVI.
 # Export to certain formats cannot be excluded from a module currently,
 # but even if they don't report an error, other formats result in corrupt
 # output documents (missing landscape slides).
 export/examples/(|fr/)seminar_pdf(2|[45]_systemF)
+#export/examples/(|fr/)seminar_dvi #not failing but wrong output
 #
 # GM: Korean? I don't expect this to work with Xe/Lua and TeXfonts.
 export/examples/ko/splash_(dvi3|pdf[45])_texF
diff --git a/development/autotests/unreliableTests b/development/autotests/unreliableTests
index 980e1666a6..25dfddfbdf 100644
--- a/development/autotests/unreliableTests
+++ b/development/autotests/unreliableTests
@@ -15,5 +15,6 @@ export/examples/fa/splash_(dvi|pdf|pdf[23]|(dvi3|pdf4|pdf5)_(texF|systemF))
 # Tests depending on local configuration, OS, TeX distribution,
 # package versions, or the phase of the moon.
 Sublabel: erratic
-export/examples/(|fr/)seminar_(dvi|pdf|pdf[23]|pdf4_texF|pdf5_systemF)
+# for unknonwn reasons, seminar fails at some places:
+export/examples/(|fr/)seminar_(dvi|pdf|pdf[23]|pdf4_texF)
 #
diff --git a/lib/doc/Development.lyx b/lib/doc/Development.lyx
index ca67d8d60f..c9d85358b5 100644
--- a/lib/doc/Development.lyx
+++ b/lib/doc/Development.lyx
@@ -1208,7 +1208,7 @@ Commit the changes to the repository, or send a patch to the development
 \end_layout
 
 \begin_layout Subsection
-automatic LyX tests (cmake only)
+ctest automatic tests (cmake only)
 \end_layout
 
 \begin_layout Standard
@@ -1286,30 +1286,6 @@ The export tests are integration tests.
 e it is important to keep them up-to-date and understand how they work.
 \end_layout
 
-\begin_layout Standard
-The export tests require the 
-\begin_inset Flex Code
-status collapsed
-
-\begin_layout Plain Layout
-ctest
-\end_layout
-
-\end_inset
-
- command that comes with the 
-\begin_inset Flex Code
-status collapsed
-
-\begin_layout Plain Layout
-cmake
-\end_layout
-
-\end_inset
-
- build system
-\end_layout
-
 \begin_layout Paragraph
 Expectations of LyX developers
 \end_layout
@@ -1677,7 +1653,7 @@ A dependency is not met (e.g.
  class file).
  One hint that this is the case is that the corresponding 
 \begin_inset Flex Code
-status open
+status collapsed
 
 \begin_layout Plain Layout
 check_load
@@ -2020,7 +1996,7 @@ There are files which control the assignment of a label to a test.
 \end_layout
 
 \begin_layout Description
-ignoredTests (smal file)
+ignoredTests (small file)
 \begin_inset Newline newline
 \end_inset