fix #1474: theme search was crashing

fix #1474: theme search was crashing