April 18, 2016
3:10 p.m.
Thanks, proposed patch attached. This didn't get in before the cutoff for 2016d, but should be in the next release after that.