a6f536063b69 ("qed: fix a typo in comment")