make theme deletion work (bug 855247)