fixes to keyServer