Fix indents in server code