What is this on back of babys head??

It's red and not rough but it doesn't seem to bother him. It looks dry as well I'm not sure what it could be. Should I try and put Vaseline on it and see if it goes away?