Woops, indeed, I will throw a new commit within the day to fix that.