more formatting fixes for theater