11-14-2016 07:58 PM
Indeed. Oops.
Thanks for the report and the fix!
11-15-2016 04:48 PM
Your fix has been added to github. Thanks again!