This way, there is no need to change the default theme :).