server: fix style after merge
1.8.9