If the error appears to be an inadvertent mistake or omission, then fix it if you can.
If it appears that the author intended to write what he wrote, then leave it be. Down-vote it. Maybe leave a comment. But don't correct it - if it turns out that he was right, you'll have just sabotaged his efforts, and even if he is truly wrong, he may be fond of his ignorance, and his example may prove instructive to others who hold similar notions.
So, yeah, you have the tools, the time and the knowledge to fix it; go ahead and fix it! BTW, your edit could have been accepted by the system if you had thrown in some indentation.