[jhc] Re: apparent jhc bug.