issue #3451. fix a markdown rendering issue