specification correction