Ok, I've pushed a change up for this fix