fix "Get a server proxy", and format code