Sorry, I use this syntax sometimes to suggest corrections, it comes from sed. It basically means replace "proviser" with "provider".