Update spec for #3162