I don't mind when this happens because I would've usually left a higher tip had I written it in myself! If they are automatically adding it then I guess this is enough for their servers...