updating WSDL example to check for proper state.