Fix some errors in the spec.