Fix typo in version copied from original

I couldn't commit the original version from where we modified it, and as I was copying the change to Github I moved a parenthesis. Sorry about that!