Is there a way? Yes, on meta or in chat. There is no option for pinging editors like there is for users leaving a comment.
For this particular edit, I've fixed it. Looks like an honest mistake to me. Jamal edits so many questions this was bound to happen sometime. Not even he is perfect.
Leaving comments for every edit is not feasible and wouldn't have fixed the problem here. The "problem" here is comparable to a typo and commenting typos assumes we catch them during the edit. In which case we'd fix the typo, not comment on it.