Fix theme-manager-specs