Fix typo derived from specifications