You're right -- I pushed a new commit.