fix specification typos