Hot chocolate spillage on keyboard

Hi! So last night, my girlfriend managed to spill about a splash of hot chocolate onto her MacBook Air. Specifically, it got spilled onto the keyboard area and a bit on the SDFCXZ keys. The laptop didn’t shut itself down when this happened but she shut it down about 3 to 5 minutes later. When the hot chocolate got spilled, she put her laptop in an upside down position (with the screen open) and left it in that position until we’ve had to turn it on for testing. We’ve turned her laptop on just to check if it’s still in an operational condition and it still works perfectly. We’re thinking of cleaning the laptop ourselves and the only typed of distilled water we have around is “Smart Water”. Would the added electrolytes from this water affect the laptop’s equipment negatively? Furthermore, we only have 70% propelyne alcohol currently at hand as well, is that good enough? Thank you for your time!