Thanks for seeing it. I could not have confident about it.
Fixed here, and squashed it into the last commit.