なんと！そんな記法があったんですね。
修正します。