Wrong error returned in InnerModuleEvaluation?

[Jamesernator]

I'm not confident this is incorrect, but I'm not clear that module.[[EvaluationError]] has been set in InnerModuleEvaluation step 12.d.iv.3:

3. If requiredModule.[[EvaluationError]] is not undefined, return module.[[EvaluationError]].

Is this supposed to be return requiredModule.[[EvaluationError]]? As I believe the only way to reach here if module is currently still in evaluating phase, but [[EvaluationError]] is only set when the module is in the evaluated phase, so module.[[EvaluationError]] should still be undefined at this point.