diff --git a/tests/system/suite_HELP/tst_HELP02/test.py b/tests/system/suite_HELP/tst_HELP02/test.py
index 71044ada687d99062b73e71de92fa4192aef0a93..1d7d2869195ac47ad43d1c8c6201d8952a3402df 100755
--- a/tests/system/suite_HELP/tst_HELP02/test.py
+++ b/tests/system/suite_HELP/tst_HELP02/test.py
@@ -63,7 +63,7 @@ def checkQtCreatorHelpVersion(expectedVersion):
                      'Qt Creator Manual %s' % expectedVersion,
                      'Verifying whether manual uses expected version.')
     except:
-        test.fail("Missing Qt Creator Manual.")
+        test.xverify(False, "Missing Qt Creator Manual (QTCREATORBUG-13233).")
 
 def setKeyboardShortcutForAboutQtC():
     invokeMenuItem("Tools", "Options...")