[server] nothing but formatting