Good to know! I’ll just not let any phones into any washing machines while traveling, to avoid grammatical confusion. I’ll wash my phone when I get home instead.