server: fix formatting issue