Should these headings be translated?