spec for #1159