new spec and corrections