Fix a bug in themes