Baby scratched his face

Any tips on what to put on a scratch when baby scratches their face? He got himself pretty good 😢 I wiped it with a wet wipe but I’m not sure what to put on it now. Vaseline?