別件があって本件を改めて調べ直したところ、既に訂正されていました。
Trackerにもその旨、コメントを記入しておきました。