spec extra restriction for #823