Fixed syntax for server stub