Fix the documentation servicemix -> web services