Fix server keys distribution code