changed some formatting in Server Facade