Correcting code in web services example