Some minor stuff re: org mode and theme