Fixed two stupid bugs related to the themes menu.