Fix typo in specifications