Fix bad specification.