This is fixed in 82d3b0f8a72c1fca23fb9babd427d8e3223d2b72