You’re right of course. Two more questions if you don’t mind:
what’s the 1k || 100k doing?
if you don’t want more than 5V at the output of the OpAmp, wouldn’t it be easier to just supply the OpAmp with 5V instead of adding a shottky diode which has a forward voltage of around 0.6V? As I understand the screenshot the voltage is 5.4V at that exact point and it could theoretically raise to 5.6V.
At the moment you’re also mixing up your + input. 10V AC + 5V DC result in 7.5V input in your sim.