correcting some markup in [#30157]