work around bug in marked (closes #6488)