fixed in 716359c