Fix two identifiers in the syntax spec.