fix assumed spec for (*)