Just leave him be. He probably rubbed his eye up against something while trying to get the shed off. Just keep up the good work...make sure he always has plenty of fresh water and adequate humidity. The eye will likely correct itself in time...at worst, it may last 'til the next shed.