Fix bug where you could not set syntax highlighting theme