fix bug in Zipf generation