It's explained in the commit message. This is not directly related to the Opera fixes, but rather a general RES fix. If you like, I can remove it from this pull and create a separate pull request with this fix.