fix PR#140