On 03/12/2016 11:06 AM, Tim Parenti wrote: > Proposed patch attached; this also cinches up the coverage comments a > bit. Thanks, I installed that on GitHub.