Minor cleanup to the spec