trivial: fix server alias