small bugfix in domain decomp