We just fixed the bug in the prior commit.