That got fixed in my most recent commit. That was actually just a mistake.