Server spec: drop dead code