Fix oversight in spec