Small fix for 'org-dp-toggle-headers'.