Fix the specs broken by 74002de