I think you're right that that was wrong, so i just pushed a fix.