Add spec corrections