Defining a web service returning no value