I used this solution and it worked for me, but I assume it's the correct fix more generally as well. I could not spot it on SVN yet, but I suppose you will commit it shortly.
Thanks and regards,
Tom
There is 1 hour lag for svn mirror... (in other words, googlecode mirror gets updated each hour from the main svn repo).