Fix committed. As Pedro noted, the correct way to request a change is to make the change in your local checked out repo, and run "svn diff" (or "git diff"). That makes sure that the fix is what you intended, and that you don't have other unexpected changes (especially in regenerated files, like configure). It also checks against a patch against a stale copy of the sources; if your patch doesn't apply that's a hint to the maintainer that the patch needs to be looked at more closely.
The easier you can make it for the maintainer (me!), the more likely your patch will get handled quickly.
