I've pushed a fix.