Fixes the doc rendering issues introduced in PR#13996.