Fix the historical info box when generating the historical spec in CI.