#4167: fix markup glitches.
1 file changed