Is Ochoa really teaching fall quarter?

This sounds like a super dumb question but winter quarter 2022, it said on schedule builder that prof Ochoa was teaching. It ended up switching last minute to Longaker because prof Ochoa left after fall quarter to go teach at another community college. It says here he is teaching at Davis fall quarter, but I just want to make sure it isn't a mistake or anything lol. Thank you!

Update: He is not teaching Fall quarter. The system hasn't updated.