When a fix comes out I update the thread. There are several things happening here:
1 - can't edit the OP
2 - can't paste that exact source into a reply, fails
3 - making a new thread with that as the original post says "there was a problem submitting to the server"
So it's not as simple as fixing the one post, we need to figure out what is causing each of these issues ans fix that on the backend.