Sorry for the false alarm.  I checked and realized that my server, where I
was doing the export, was running Org-mode 7.5; I updated and the problem is
now fixed.  Thanks!

-- 
- Pavel Panchekha

Reply via email to