Spec for #801