I fixed this in the latest commit.