re #722 - Set default theme