Good idea. Just updated with c7c5a501f82ac86bb13b2d2ca02ff57624b1289c.