no need for the default theme