update spec → specification