make specs for #829