I fixed it in #3064.