Spec: correct typos