Fix typo in specification