Did I miss this? I don't remember seeing this before...? I think this was fixed by @davidflanagan in another patch