Fixing bug in service provider example