バグ報告ありがとうございます。 問題の認識はあったのですが、大きな問題ではないため保留してました。 簡単に直せそうなら直します。