Fix problem if no default theme is set in config.

Fixes #8, #9.