Remove bad markup from ca820081146d627999e25e92550e10c26a63fa48. Fixes #273.