Fixing an error in the libdist server.