Small fix so that theme_get_info() works as planned.