あんまり言うと重箱の隅をつつく感じになるけど、
普通ゲラ刷りでこんな修正するものかね。