change spec notation