Replace Ceiling fan with Light Fixture

I am in the midst of replacing a ceiling fan with a light fixture. I want to ensure I have the connections right. The light is currently working with no issues but I have one concern regarding the ground wire. Below is a summary of the wiring: 1. Light fixture has white, black, and bare copper ground wires 2. Ceiling wires (coming from switch to the box in ceiling) have white, black, red, and copper. 3. The box has a green ground wire screw. What I did: