yes, i explicitly changed this code after i fixed [bug 807382](https://bugzilla.mozilla.org/show_bug.cgi?id=807382). that fix has already landed, alongside tests for exactly this, so i don't think this is needed.