Thanks to @danielpunkass for the quick fix to MarsEdit. As always, he provided polite and responsive support.