fix PR#136