fix theme_hc ")"