Minor fix in the theming page