Fix setup of dark theme

[NicoPennec]

Problem

• If no default theme is set, a wrong theme may be loaded.

Solution

• Fix the setup of a dark theme, due to a missing boolean condition.