issues #3 seems fixed in 4.3