Fix doc extra marker

Merged Flavio TARSETTI requested to merge fix_doc into 1.4.x

This is required for docs!1 (merged)

Merge request reports