Nevermind, I fixed that in a separate commit.