update spec for #451