Previous versions of this patch had whitespace damage (I expected everything was fine, since I was using git send-email), and had a missing semicolon. I've attached the patch, so it can escape gmail's mangling until I can figure something else out. I'm sending this patch mostly because of the second problem. Third time's the charm. 