Fix PitmanYor.dump