fixed in 1.7.3