Small changes at server.pm