Fix for playTheme("Sky")

Adds the problem of Themes/*/Sky.* being the same as Themes/*/Star.*