Update distributed.h