Fix typo in server defn