fix theme license bugs (bug 858121)