Fix broken server spec