Sure.  I will also apply the fix to our repository soon, now that you 
have tested it.