fix distribute() in //