small changes in spec.