Somehow the test case doesn't crash anymore and the regression in the doc generation is fixed. Fixes #9019