Corrected markup error in DEVEL.markup doc file.