[Spec] Fix ErrorReport spec