Nevermind, I just pushed a fix.