Forgot to make OS theme private.#2386