Fix bad spec