Fix various spelling mistakes throughout the specification.