On Jul 19, 2013, at 12:30 PM, Craig Topper <craig.topper at gmail.com> wrote: > Here's my attempt at a fix. Adding Jakob to make sure I did this right. Patch LGTM. Thanks, /jakob