誤字報告からの誤字訂正がやっぱり使えなかったので、手動で直しました。
ご指摘ありがとうございました。